Dexter Kozen: Z-Library web sitesinde arama yap

Bağış 15 Eylül 2024 – 1 Ekim 2024 Bağış toplama hakkında

Bilgi ve kültür için geçidiniz. Herkesçe erişilebilir.

Bağış 15 Eylül 2024 – 1 Ekim 2024

Z-Library- 17,000,000'den fazla kitap ve 84,837,000 makale barındıran dünyanın en büyük çevrimiçi kitaplıklarından biridir. Edebiyatı herkes için erişilebilir hale getirmeye çalışıyoruz. Bugün (15 Eylül 2024) projeyi desteklemek ve geliştirmek için ek bir bağış koleksiyonu açıyoruz.

Ayrıca SINIRSIZ indirme (bağış gününden sonraki 31 gün içinde), 'ye kadar olan bağış toplama döneminde projeyi destekleyecek TÜM 1 Ekim 2024 kullanıcılar tarafından kullanılabilir.

Bağış toplama hakkındaAyrıntılı

Kitaplar (30)
En popüler
- Şuna göre sırala×
- En popüler
- En iyi eşleşme
- Son eklenenler
- İsme göre (A-Z)
- İsme göre (Z-A)
- Yıla göre
- Dosya boyutu ↓
- Dosya boyutu ↑
Liste
- Liste
- Tablo

1

Dynamic logic

Dynamic logic

David Harel, Dexter Kozen, Jerzy Tiuryn

Yıl:

2000

Dil:

english

Dosya:

PDF, 2.23 MB

5.0 / 0

english, 2000

2

Theory of Computation.

Theory of Computation.

Independely Published

Dexter C. Kozen

Yıl:

2006

Dil:

english

Dosya:

PDF, 3.56 MB

0 / 0

english, 2006

3

Automata and Computability

Automata and Computability

Springer Science & Business Media

Dexter C. Kozen

Yıl:

2012

Dil:

english

Dosya:

PDF, 23.56 MB

0 / 0

english, 2012

4

Automata and Computability (Undergraduate Texts in Computer Science)

Automata and Computability (Undergraduate Texts in Computer Science)

Dexter C. Kozen

Yıl:

2012

Dil:

english

Dosya:

PDF, 21.58 MB

0 / 5.0

english, 2012

5

The Design and Analysis of Algorithms

The Design and Analysis of Algorithms

Dexter C. Kozen

Yıl:

1992

Dil:

english

Dosya:

DJVU, 2.19 MB

0 / 0

english, 1992

6

Dynamic Logic (Foundations of Computing)

Dynamic Logic (Foundations of Computing)

David Harel, Dexter Kozen, Jerzy Tiuryn

Yıl:

2000

Dil:

english

Dosya:

PDF, 2.24 MB

5.0 / 0

english, 2000

7

Dynamic Logic

Dynamic Logic

David Harel, Dexter Kozen, Jerzy Tiuryn

Yıl:

2000

Dil:

english

Dosya:

PDF, 1.71 MB

5.0 / 0

english, 2000

8

The Design and Analysis of Algorithms

The Design and Analysis of Algorithms

Springer Science & Business Media

Dexter C. Kozen

Yıl:

1992

Dil:

english

Dosya:

PDF, 5.14 MB

0 / 0

english, 1992

9

Automata and Computability

Automata and Computability

Dil:

english

Dosya:

PDF, 19.44 MB

0 / 0

english

10

Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings

Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Greg Nelson (auth.), Dexter Kozen (eds.)

Yıl:

2004

Dil:

english

Dosya:

PDF, 6.51 MB

0 / 0

english, 2004

11

Descriptional Complexity of Formal Systems: 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings

Descriptional Complexity of Formal Systems: 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Baptiste Jeannin, Dexter Kozen (auth.), Martin Kutrib, Nelma Moreira, Rogério Reis (eds.)

Yıl:

2012

Dil:

english

Dosya:

PDF, 4.16 MB

0 / 0

english, 2012

12

Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt, Ernst-Rüdiger Olderog (auth.), Dexter Kozen (eds.)

Yıl:

1982

Dil:

english

Dosya:

DJVU, 4.66 MB

0 / 0

english, 1982

13

Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt, Ernst-Rüdiger Olderog (auth.), Dexter Kozen (eds.)

Yıl:

1982

Dil:

english

Dosya:

PDF, 10.98 MB

0 / 0

english, 1982

14

Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings

Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Greg Nelson (auth.), Dexter Kozen (eds.)

Yıl:

2004

Dil:

english

Dosya:

PDF, 3.26 MB

0 / 0

english, 2004

15

Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers

Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers

Springer-Verlag Berlin Heidelberg

Alexander Aiken, Dexter Kozen, Moshe Vardi, Ed Wimmers (auth.), Egon Börger, Yuri Gurevich, Karl Meinke (eds.)

Yıl:

1994

Dil:

english

Dosya:

DJVU, 2.87 MB

0 / 0

english, 1994

16

Descriptional Complexity of Formal Systems: 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings

Descriptional Complexity of Formal Systems: 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Baptiste Jeannin, Dexter Kozen (auth.), Martin Kutrib, Nelma Moreira, Rogério Reis (eds.)

Yıl:

2012

Dil:

english

Dosya:

PDF, 3.95 MB

0 / 0

english, 2012

17

Theory of Computation

Theory of Computation

Dexter C. Kozen

Yıl:

2006

Dil:

english

Dosya:

PDF, 2.88 MB

0 / 5.0

english, 2006

18

Dynamic Logic

Dynamic Logic

David Harel & Dexter Kozen & Jerzy Tiuryn

Yıl:

2000

Dil:

english

Dosya:

PDF, 2.57 MB

0 / 0

english, 2000

19

Ethical and Legal Aspects of Computing

Ethical and Legal Aspects of Computing

Ian Mackie & Samson Abramsky & Chris Hankin & Mike Hinchey & Dexter C. Kozen & Hanne Riis Nielson & Steven S. Skiena & Iain Stewart & Joseph Migga Kizza & Roy Crole & Elizabeth Scott & Gerard O’Regan

Yıl:

2024

Dil:

english

Dosya:

PDF, 5.90 MB

0 / 4.0

english, 2024

20

Automata and Computability

Automata and Computability

Dexter C. Kozen

Yıl:

2013

Dil:

english

Dosya:

PDF, 23.50 MB

0 / 0

english, 2013

21

The Design and Analysis of Algorithms

The Design and Analysis of Algorithms

Dexter C. Kozen

Yıl:

1992

Dil:

english

Dosya:

PDF, 5.14 MB

0 / 0

english, 1992

22

Automata and Computability

Automata and Computability

Dexter C. Kozen

Yıl:

1977

Dil:

english

Dosya:

PDF, 40.97 MB

0 / 0

english, 1977

23

Automata and Computability

Automata and Computability

Dexter C. Kozen

Yıl:

1997

Dil:

english

Dosya:

DJVU, 2.29 MB

0 / 4.0

english, 1997

24

Automata and Computability

Automata and Computability

Springer Science & Business Media

Dexter C. Kozen

Yıl:

2012

Dil:

english

Dosya:

PDF, 4.41 MB

0 / 1.0

english, 2012

25

Automata and Computability

Automata and Computability

Springer Science & Business Media

Dexter C. Kozen

Yıl:

2012

Dil:

english

Dosya:

PDF, 21.67 MB

0 / 0

english, 2012

26

Foundation of Software Technology and Theoretical Computer Science: 14th Conference Madras, India, December 15–17, 1994 Proceedings

Foundation of Software Technology and Theoretical Computer Science: 14th Conference Madras, India, December 15–17, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Dexter Kozen (auth.), P. S. Thiagarajan (eds.)

Yıl:

1994

Dil:

english

Dosya:

DJVU, 5.60 MB

0 / 0

english, 1994

27

Logic of Programs: Workshop, ETH Zürich, May–July 1979

Logic of Programs: Workshop, ETH Zürich, May–July 1979

Springer-Verlag Berlin Heidelberg

Dexter Kozen (auth.), Erwin Engeler (eds.)

Yıl:

1981

Dil:

english

Dosya:

DJVU, 2.55 MB

0 / 0

english, 1981

28

Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt (auth.), Edmund Clarke, Dexter Kozen (eds.)

Yıl:

1984

Dil:

english

Dosya:

DJVU, 5.98 MB

0 / 0

english, 1984

29

Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt (auth.), Edmund Clarke, Dexter Kozen (eds.)

Yıl:

1984

Dil:

english

Dosya:

PDF, 14.67 MB

0 / 0

english, 1984

30

Logic of Programs: Workshop, ETH Zürich, May–July 1979

Logic of Programs: Workshop, ETH Zürich, May–July 1979

Springer-Verlag Berlin Heidelberg

Dexter Kozen (auth.), Erwin Engeler (eds.)

Yıl:

1981

Dil:

english

Dosya:

PDF, 5.78 MB

0 / 0

english, 1981